Random reals as measures of natural open sets
نویسندگان
چکیده
منابع مشابه
π11-Martin-Löf random reals as measures of natural open sets
We elaborate a recursive-theoretic method to define real numbers which are random to any jump of the halting problem. This is obtained by generalizing a result of V. Becher and G. Chaitin dealing with the class of cofinite sets. As in the work of V. Becher and S. Grigorieff (but this time in the context of open sets in Cantor space) appeal to completeness phenomena replaces machine arguments. M...
متن کاملMeasures and Their Random Reals
We study the randomness properties of reals with respect to arbitrary probability measures on Cantor space. We show that every noncomputable real is non-trivially random with respect to some measure. The probability measures constructed in the proof may have atoms. If one rules out the existence of atoms, i.e. considers only continuous measures, it turns out that every non-hyperarithmetical rea...
متن کاملPossibility Measures, Random Sets and Natural Extension
We study the relationship between possibility and necessity measures defined on arbitrary spaces, the theory of imprecise probabilities, and elementary random set theory. We show how special random sets can be used to generate normal possibility and necessity measures, as well as their natural extensions. This leads to interesting alternative formulas for the calculation of these natural extens...
متن کاملLK-INTERIOR SYSTEMS AS SYSTEMS OF “ALMOST OPEN” L-SETS
We study interior operators and interior structures in a fuzzy setting.We investigate systems of “almost open” fuzzy sets and the relationshipsto fuzzy interior operators and fuzzy interior systems.
متن کاملLimitwise monotonic sets of reals
1. f (x, s) f (x, s + 1) for all x and s; 2. sups f (x, s) < ∞ for every x ; 3. F(x) = sups f (x, s). A set A ⊆ N is limitwise monotonic if A equals to the range of some limitwise monotonic function. If we replace here the computable functions f by X -computable functions for some Turing oracle X then we get the notions of X -limitwise monotonic functions and sets, respectively. Note that a sim...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2015
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2015.04.009